@@
int * x;
@@

- x+12
+ 12
